1. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
2. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
3. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
4. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
